I.—THE REFUTATION OF IDEALISM

The Refutation of Idealism

Modern Idealism, if it asserts any general conclusion about the universe at all, asserts that it is spiritual. There are two points about this assertion to which I wish to call attention. These points are that, whatever be its exact meaning, it is certainly meant to assert (1) that the universe is very different indeed from what it seems, and (2) that it has quite a large number of properties w...

e role of Kant’s Refutation of Idealism

IThe theory of optimal reductions

We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...

Causal Refutations of Idealism

In the ‘Refutation of Idealism’ chapter of the first ‘Critique’, Kant argues that the conditions required for having certain kinds of mental episodes are sufficient to guarantee that there are ‘objects in space’ outside us. A perennially influential way of reading this compressed argument is as a kind of causal inference: in order for us to make justified judgements about the order of our inner...

IThe Visual Display of ~ Parallel Performance ~ Data

( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...